home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / glass / glass.lha / GLASS / dtm / test2.gl < prev    next >
Text File  |  1991-06-18  |  321b  |  19 lines
  1. Basetype E;
  2.  
  3. Atom
  4.    not :- E => E,
  5.    nand2 :- E & E => E,
  6.    adc :- E & E & E => E & E,
  7.    div2 :- E => E;
  8.  
  9.  
  10. Def
  11.    sel :- E & E & E => E;
  12.    sel [s, a, b] = nand2 [nand2 [not s, a], nand2 [s, b]];
  13.  
  14. Def
  15.    moresel :- E & E & E & E & E & E => E;
  16.    moresel [s1,s0,a,b,c,d] =
  17.       sel [s1, sel [s0,a,b], sel [s0,c,d]];
  18.  
  19.